≡
3/3 < 123